A workflow for modelling fluvial meander-belt successions: Combining forward stratigraphic modelling and multi-point geostatistics

Modelling IS successions in e commerce

The paper considers the conditions governing the diffusion and development of e-commerce. The analysis builds on earlier discussions of technological successions and explores a number of factors, not normally considered, which are likely to have a bearing on the probability of e-commerce IS technologies displacing traditional IS technologies. The first factor is differentiation of the character...

Application of multiple-point geostatistics on modelling groundwater flow and transport in a cross-bedded aquifer

Property Specifications for Workflow Modelling

Previously we provided two formal behavioural semantics for Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP’s refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult and sometimes impossible to construct behavioural properties against which BPMN models may be verified. Th...

Formal frameworks for workflow modelling

We survey formal frameworks for workflow modelling. We summarise important aspects of workflow management and approaches to evaluate current workflow management systems. We discuss a number of formalisms for workflow modelling, namely Petri nets, Temporal Logic, and Transaction Logic. We decribe how these formalisms are used specifically for workflow modelling, their possibilities and their dis...

Combining Process Modelling and Case Modelling

Adaptive Case Management deals with processes that are not predefined or repeatable, but depend on evolving circumstances and decisions regarding a particular situation. While case management is often considered as different from conventional business process management, in reality they cannot be strictly separated. A structured business process can contain parts which deal with non-routine cas...